$\forall$$A$, $B$:Dsys. interface{-}compatible($A$;$B$) $\Rightarrow$ interface{-}compatible($B$;$A$)